# predicate variable

- 【逻】谓词变项

*English-Chinese computer dictionary (英汉计算机词汇大词典).
2013.*

### Look at other dictionaries:

**Predicate variable**— In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… … Wikipedia**predicate variable**— noun logic : a variable for which a predicate may be substituted … Useful english dictionary**Predicate functor logic**— In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia**variable**— (logic) A fundamental notion of modern logic. Intuitively, suppose we have a class of objects about which we might be interested (a domain), and we start with a simple sentence ‘Jane is hungry’. We then strike out mention of Jane, leaving a gap… … Philosophy dictionary**Predicate logic**— In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia**Predicate (logic)**— Sometimes it is inconvenient or impossible to describe a set by listing all of its elements. Another useful way to define a set is by specifying a property that the elements of the set have in common. The notation P(x) is used to denote a… … Wikipedia**Functional predicate**— In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term.Functional predicates are also sometimes called mappings ,… … Wikipedia**Syntactic predicate**— A syntactic predicate specifies the syntactic validity of applying a production in a formal grammar and is analogous to a semantic predicate that specifies the semantic validity of applying a production. It is a simple and effective means of… … Wikipedia**Monadic predicate calculus**— In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia**n-place predicate**— A predicate thought of as an open sentence that requires n variables to be either bound or substituted by a referring expression to make a closed sentence. Thus ‘ x is the daughter of y ’ is a two place predicate, that can be turned into a… … Philosophy dictionary**bound variable**— A variable x is bound in a formula if it is within the scope of a quantifier (in first order logic, (∀x ) or (∃x )). Intuitively this means that as the formula is evaluated and x in this occurrence is assigned to an object, the quantified… … Philosophy dictionary